Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
21	Hypersequent Systems for the Admissible Rules of Modal and Intermediate Logics Rosalie Iemhoff1 and George Metcalfe2 1 Department of Philosophy, Utrecht University Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-10-20 05:03:57 Logic Mathematical logic Non-classical logic Modal logic Proof theory Philosophical logic Model theory Admissible rule Sequent Normal modal logic Kripke semantics Intuitionistic logic
22	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
23	Hinge-Loss Markov Random Fields and Probabilistic Soft Logic arXiv:1505.04406v2 [cs.LG] 9 DecStephen H. Bach∗ Matthias Broecheler† Bert Huang‡ Lise Getoor§ Add to Reading List Source URL: stephenbach.net Language: English - Date: 2015-12-16 16:04:19 Logic Graphical models Mathematics Mathematical logic Structured prediction Markov random field Probability theory Non-classical logic Logic in computer science Bayesian network Random field Fuzzy logic
24	Logical Methods in Computer Science Vol. 11(3:7)2015, pp. 1–33 www.lmcs-online.org Submitted May 17, 2014 Published Sep. 3, 2015 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-02-19 10:54:23 Logic Mathematical logic Proof theory Abstraction Non-classical logic Logic in computer science Philosophical logic Model theory Sequent CurryHoward correspondence Intuitionistic logic Cut-elimination theorem
25	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
26	Biases and [Ir]rationality 2 Informatics 1 CG: Lecture 19 Chris Lucas Last time Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2016-03-01 08:55:09 Logic Philosophy Non-classical logic Reasoning Probability interpretations Formal sciences Inference Logical consequence Frequentist probability Probabilistic logic
27	ACQUIRING APPROXIMATE REPRESENTATIONS OF SOME SPATIAL RELATIONS Vincent B. Robinson (NET) Department of Surveying Engineering The University of Calgary Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:48 Logic Mathematical logic Logic in computer science Artificial intelligence Fuzzy logic Philosophy Non-classical logic Fuzzy concept Fuzzy set Causality Boolean algebra
28	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: people.tubri.org Language: English - Date: 2010-06-03 12:09:47 Genetics Biology Ictiobus Classical genetics Catostomidae Black buffalo Smallmouth buffalo Molecular biology Bigmouth buffalo Bubalus Haplotype Intron
29	1 For Immediate Release November 10, 2015 Further Info: Blaine Todd Director of Communicationsext. 301 offce Add to Reading List Source URL: otherminds.org Language: English - Date: 2015-12-01 18:49:45 Classical music Music Guggenheim Fellows Contemporary classical music festivals Non-profit organizations based in California Other Minds MacArthur Fellows Charles Amirkhanian Meredith Monk Cecilie Ore Phil Kline Michael Gordon
30	A syntactic approach to unification in transitive reflexive modal logics Rosalie Iemhoff∗ June 10, 2016 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:39:23 Logic Mathematical logic Abstraction Non-classical logic Modal logic Automated theorem proving Logic programming Model theory Admissible rule Substitution Unification Intermediate logic